Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
871	Lemma 1 Ref: DS/FMU/FEF/019 DRA FRONT END FILTER PROJECT Issue: Revision : 2 .2 Specification of Query Transformations in SML (I) Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:37:58 Procedural programming languages Data types Functional languages Type theory Standard ML Enumerated type ALGOL 68 SQL Primitive data type Computing Software engineering Programming language theory
872	Efficient Type-Ahead Search on Relational Data: a TASTIER Approach Guoliang Li† † Shengyue Ji‡ Add to Reading List Source URL: dbgroup.cs.tsinghua.edu.cn Language: English - Date: 2012-01-09 09:42:50 Tree Planar separator theorem Graph theory Mathematics Graph
873	Publication list of Marc Bezem Journal articles [1] M.A. Bezem. Isomorphisms between HEO and HROE , ECF and ICFE . Journal of Symbolic Logic 50:359–371, M.A. Bezem. Strongly majorizable functionals of finite Add to Reading List Source URL: www.ii.uib.no Language: English - Date: 2013-10-30 09:43:20 Formal languages Applied mathematics Dependently typed programming Type theory Mathematical logic Rewriting Abstract rewriting system Logic Curry–Howard correspondence Theoretical computer science Logic in computer science Mathematics
874	Well-typed programs can’t be blamed Philip Wadler Robert Bruce Findler University of Edinburgh Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:44 Mathematics Subtype polymorphism Type system Lambda calculus Typed lambda calculus Type safety Valuation Entailment Holomorphic functional calculus Type theory Theoretical computer science Logic
875	Astronomical Data Analysis Software and Systems X ASP Conference Series, Vol. 238, 2001 F. R. Harnden Jr., F. A. Primini, and H. E. Payne, eds. The FITS Embedded Function Format Arnold H. Rots, Jonathan C. McDowell, X. H Add to Reading List Source URL: www.adass.org Language: English - Date: 2001-05-29 17:25:02 Data types Computing Type theory Variables Function Enumerated type C Parameter Array data type Mathematics Software engineering Elementary mathematics
876	PDF Document Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2010-11-24 04:00:44 Group theory Geometric group theory Combinatorics on words Group action Symmetry Subshift of finite type Conjugacy class Line graph Out Abstract algebra Mathematics Graph theory
877	Haskell: A Fun, Friendly, Fantastic Functional Language Andrew Brinker Hello, Welcome to the wonderful world of Haskell. Haskell is my personal favorite programming language, and is the most exciting and interesting lang Add to Reading List Source URL: andrewbrinker.com Language: English - Date: 2015-04-21 19:13:18 Functional programming Subroutines Functional languages Type theory Lambda calculus Haskell Anonymous function Monad Pattern matching Software engineering Computer programming Computing
878	Weather Consulting Using Climate Data EnCom Needs Wind! First Guess Climate Data Best Location A. Add to Reading List Source URL: www.cmes.utah.edu Language: English - Date: 2015-02-03 15:46:34 Flagstaff Arizona Geography of the United States Type theory Variables Climate
879	Interfaces for Nested Classes Yannis Smaragdakis College of Computing Georgia Institute of Technology Atlanta, GA 30332 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2000-12-08 16:36:48 Object-oriented programming Java programming language Interfaces Type theory C++ Mixin Multiple inheritance Inner class Class Computing Software engineering Computer programming
880	-calculus Classical Realizability Channels and their reduction Add to Reading List Source URL: lepigre.fr Language: English - Date: 2014-10-13 07:48:11 Type theory Mathematical constructivism Realizability Stack Type system Calculus C Programming language theory Software engineering Computing

UPDATE